" Yves Lafont" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Proofs and Types (Cambridge Tracts in Theoretical Computer Science, 7)

Jean-Yves Girard, Yves Lafont, Paul Taylor

925 Kb

#2

Proofs and Types

Jean-Yves Girard, Yves Lafont, Paul Taylor

Категория: Математика, Алгебра, Математическая логика

1.37 Mb

#3

Advances in Linear Logic (London Mathematical Society Lecture Note Series)

Jean-Yves Girard, Yves Lafont, Laurent Regnier

3.36 Mb

#4

Advances in linear logic

Jean-Yves Girard, Yves Lafont, Laurent Regnier

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.38 Mb